receives(${\it dE}$;${\it dL}$;${\it pred?}$;${\it info}$;$p$;$e$;$l$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$r$.rcv{-}from{-}on(${\it dE}$;${\it dL}$;${\it info}$;$e$;$l$;$r$);eventlist(${\it pred?}$;sends{-}bound($p$;$e$;$l$)))